81. Programming languages with applications to biology and security.
پدیدآورنده: \ Chiara Bodei , Gian-Luigi Ferrari, Corrado Priami (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers),Computer science,Computer networks,زبانهای برنامه‌نویسی کامپیوتر,کامپیوتر,شبکه‌های کامپیوتری,a03,a04,a05,a03,a04,a05
رده :
QA
76
.
7
.
P76
2015
E-Book
,
82. Python for data science /
پدیدآورنده: by Luca Massaron and John Paul Mueller
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data mining,Data structures (Computer science),Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
83. Python machine learning case studies
پدیدآورنده: / [edited by] Danish Haroon
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Python,Computer programming.,Programming languages (Electronic computers),Computer science.
رده :
QA76
.
73
.
P988
2017
84. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
85. Regular expression pocket reference /
پدیدآورنده: Tony Stubblebine
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- Syntax,Text processing (Computer science)
رده :
QA76
.
9
.
T48
S78
2007
86. Regular expression pocket reference
پدیدآورنده: \ Tony Stubblebine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Text processing (Computer science),متن‌پردازی,a03,a03,Programming languages (Electronic computers)-- Syntax.,زبانهای برنامه‌نویسی کامپیوتر-- نحو
رده :
QA
76
.
9
.
S7R4
2007
E-Book
,
87. Regular expression pocket reference
پدیدآورنده: Stubblebine, Tony.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Text processing )Computer science(,Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
T48
S78
88. Regular expressions cookbook
پدیدآورنده: \ Jan Goyvaerts and Steven Levithan.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Text processing (Computer science),متن‌پردازی,a05,a05,Programming languages (Electronic computers), Handbooks, manuals, etc.,Computer programming.,زبان های برنامه نویسی کامپیوتر -- دستنامه ها ,برنامه‌نویسی
رده :
QA
76
.
7
.
G6R4
2012
E-Book
,
89. Regular expressions cookbook
پدیدآورنده: Jan Goyvaerts, Steven Levithan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming,Programming languages (Electronic computers), Handbooks, manuals, etc,Text processing (Computer science)
رده :
QA76
.
7
.
G69
2012
90. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
91. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
92. Semantics for concurrency
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Parallel programming (Computer science ► Programming languages (Electronic computers)- Semantics
رده :
S471
93. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
رده :
QA76
.
642
.
I56
1990
94. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده: Thomas Streicher
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
95. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: / Thomas Streicher
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
رده :
QA76
.
7
.
S82
1991
96. Source Code Analytics With Roslyn and JavaScript Data Visualization /
پدیدآورنده: Sudipta Mukherjee ; foreword by Darius Blasband
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
رده :
QA76
.
754
.
M85
2016
97. Spiele effektiv programmieren
پدیدآورنده: Uwe Kettermann, Andreas Rohde.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
98. Swift 3 for Absolute Beginners
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
99. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
100. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
